A Programmers Introduction to C#
A Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is ...
Weiterlesen
Advanced Distributed Systems
this book poses the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems ...
Weiterlesen
Advanced Software Engineering: Expanding the Frontiers of Software Technology
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate ...
Weiterlesen
Analysis and Design of Information Systems : Third Edition
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
Automatic Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Weiterlesen
COTS-Based Software Systems
The theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...
Weiterlesen
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Weiterlesen
Computational Methods in Systems Biology (vol. # 3082)
present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
Weiterlesen
Computer-Aided Design of User Interfaces V
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Weiterlesen
Computer-Aided Design of User Interfaces V
Today, the development life cycle of 3D User Interfaces (UIs) mostly remains an art more than a principled-based approach. ...
Weiterlesen
Dependable Computing
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
Weiterlesen
Distributed Applications and Interoperable Systems (vol. # 3543)
ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable ...
Weiterlesen
Distributed Applications and Interoperable Systems (vol. # 4025)
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and ...
Weiterlesen
Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This volume contains the proceedings of DAIS 2008, the 8th IFIP International Conference on Distributed Applications and ...
Weiterlesen
Distributed Computing and Internet Technology
Taming the Dynamics of Disributed Data - DISTRIBUTED COMPUTING -- Data in Your Space -- Enabling Technologies for Harnessing ...
Weiterlesen
Engineering and Managing Software Requirements
This book provides an exploration of key issues in requirements engineering, the book is organized in three parts. Part 1 ...
Weiterlesen
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535)
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Weiterlesen
